一类带有非局部源的退化抛物型方程组解的局部存在性

讨论了一类带有非局部源的退化抛物型方程组解的初边值问题.首先给出了问题的最大值原理和比较原理,然后运用一般的逼近思想来得到了问题存在局部解.     

加工能力受扰的可控排序干扰管理

在加工时间可控的单机排序中,面对随机发生的干扰事件,研究了初始加工时间表的制定问题。对于干扰事件造成的影响采用匹配时间排序的应对策略,在干扰事件发生后,通过压缩工件加工时间,使新时间表在某时间点后完全恢复到初始加工时间表。基于工件吸收干扰事件影响的能力,设计复合排序规则来决定工件的优先级。由于问题内在的复杂性,在复合排序规则中,应用遗传算法来确定某给定待处理工件集的最优参数。使用概率分布表示干扰事件的发生时刻和持续时间,并综合概率信息和工件的优先级来制定初始加工时间表。最后,通过随机数值试验模拟,发现本文设计的初始时间表优于根据最短加工时间优先规则制定的初始时间表,验证了方法对于处理干扰事件影响的有效性。     

Backward‐in‐Time Selection of the Order of Dynamic Regression Prediction Model

We investigate the optimal structure of dynamic regression models used in multivariate time series prediction and propose a scheme to form the lagged variable structure called Backward‐in‐Time Selection (BTS), which takes into account feedback and multicollinearity, often present in multivariate time series. We compare BTS to other known methods, also in conjunction with regularization techniques used for the estimation of model parameters, namely principal components, partial least squares and ridge regression estimation. The predictive efficiency of the different models is assessed by means of Monte Carlo simulations for different settings of feedback and multicollinearity. The results show that BTS has consistently good prediction performance, while other popular methods have varying and often inferior performance. The prediction performance of BTS was also found the best when tested on human electroencephalograms of an epileptic seizure, and for the prediction of returns of indices of world financial markets.Copyright © 2013 John Wiley & Sons, Ltd.     

时间测度链上一类二阶非线性动力方程的振动性

作者研究了时间测度链上的一类二阶非线性动力方程的振动性质.利用时间测度链上的理论和一些分析技巧, 作者得到了该类方程存在非振动解的必要条件及方程振动的充分条件.     

时间同步在晋城电力行政交换网中的应用

时间同步网建设对于电力通信发展具有极其重要的意义。通过分析晋城电力行政交换网存在的问题,结合已建成的时钟同步网现状,阐述了一种可行的实现行政交换网时间同步的思路及方法,并对时间同步在更大范围的应用提出了建议。     

论岩巷掘进的掏槽和光爆问题

结合岩石爆破破碎理论、对岩巷掘进中深孔光爆几个较为关键的技术问题,特别是掏槽爆破和光面爆破进行了较为细致地分析和研究,推荐了较为合理的掏槽形式和掏槽参数、光爆装药和光爆参数,提出了较为合理的起爆延迟间隔时间。     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

《学记》教育思想的现代思考

《学记》是成于先秦时期的一部总结性教育著作。它对先秦的教育理论,教育实践作了全面的总结和概括,论述了教育的功能、作用以及教育制度、教学内容、原则和方法、师生关系等内容。以现代视角看待这些关于教育的论述,会发现许多难得的教育思想。     

网络RTK技术的应用

网络RTK是近几年发展起采的一种实时、高精度的GPS定位技术，介绍了网络RTK的基本概念及应用范围。详细阐述了网络RTK的工作原理和工作模式。     

水下自航器的时变运动模型

为开发研制大航程、变速度的水下自航器 ,实现更精确的控制和导引 ,需建立水下自航器的时变运动模型。利用刚体分析动力学和理论流体力学的基本理论 ,研究水下自航器因燃料的消耗而引起的质量变化、质心位置和转动惯量的变化 ,导出描述其变化规律的方程 ;研究因推力变化而引起速度的改变 ,导出推力变化方程。在此基础上 ,推导出水下自航器空间运动方程组 ,并将数学模型表达成简明的矩阵形式 ,为研究变质量、变速度水下自航器的运动性能和设计控制及导引律提供基础